<!DOCTYPE html>
<html>
<head>
  <title></title>
</head>
<body>
    <div style="height:5000px;"></div>
    <script type="text/javascript" src="http://www.12301.cc/js/jquery-1.8.0.min.js"></script>
    <script type="text/javascript" src="http://wx.12301.cc/public/js/build/common.min.js"></script>
    <script type="text/javascript" src="http://wx.12301.cc/public/js/common/listManager.js"></script>
    <script type="text/javascript">
        var a = "terminal.html";
        var r = /(\w+)(\.)[a-z]+/;
        var s = a.replace(/\./,function($1){
            var dot = arguments[0];
            return "_dev"+$1;
        })
        console.log(s)
    </script>
</body>
</html>